| contributor | Theoretische Informatik (IFI) | ||||||||||||||
E-Mail an | creator |
Kufleitner, Manfred
| date |
2001-07
| description |
57 pages
|
Meine Diplomarbeit beschreibt kanonische Repräsentationen von
Elementen einer torsionsfreien hyperbolischen Gruppe, welche dann
dazu verwendet werden um Gleichungssysteme in dieser Gruppe auf
Gleichungssysteme in einer freien Gruppe zu reduzieren. Als Ergebnis
erhält man ein Verfahren in PSPACE, mit dem man entscheiden kann,
ob ein Gleichungssystem in einer torsionsfreien hyperbolischen
Gruppe eine Lösung besitzt.
| format |
application/pdf
| 595096 Bytes | |
| identifier | http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIP-1922&engl=1 |
| language | ger |
| publisher | Stuttgart, Germany, Universität Stuttgart |
| relation | Diploma Thesis No. 1922 |
| source | ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-1922/DIP-1922.pdf |
| subject | Nonnumerical Algorithms and Problems (CR F.2.2) |
| Mathematical Logic (CR F.4.1) | |
| Grammars and Other Rewriting Systems (CR F.4.2) | |
| Formal Languages (CR F.4.3) | |
| Discrete Mathematics Combinatorics (CR G.2.1) | |
| Discrete Mathematics Graph Theory (CR G.2.2) | |
| Wortgleichungen | |
| Gleichungssystem | |
| Gruppe | |
| hyperbolisch | |
| title | Wortgleichungen in hyperbolischen Gruppen |
| type | Text |
| Diploma Thesis |